extensionSystem: add missing import

https://bugzilla.gnome.org/show_bug.cgi?id=646333

diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
index eb82bc3bfdf0f620dfac90c179ac9a1e56303fdc..9dd3a47ef512d40973d239bf4716ef9d19f981c8 100644 (file)
--- a/js/ui/extensionSystem.js
+++ b/js/ui/extensionSystem.js
@@ -3,6 +3,7 @@
 const GLib = imports.gi.GLib;
 const Gio = imports.gi.Gio;
 const St = imports.gi.St;
+const Shell = imports.gi.Shell;
 
 const Config = imports.misc.config;